/* 
 *  Copyright (c) 2011—2013 Panguso.com. All rights reserved. 
 *  File Name:  XESReadService.java                                      
 *  File Contents Outline :  XES读取服务接口  
 *  File  Create Date:   2012年7月30日
 *  File Version#: Revision#: #1                  
 *  File  Latest Modify Date : 2013年1月16日
 *  File Author :  bachuan@panguso.com
 */

package cn.edu.thu.log.web.service;

import org.deckfour.xes.model.XLog;

import cn.edu.thu.log.xes.XESReaderInterface;
import java.util.ArrayList;
import storage.dbobject.DbXES;

public interface XESReadService {

    public XESReaderInterface XESReader = null;

    public boolean hasNext();

    public void setName(String name);

    public XLog next();

    public DbXES nextXES();

    public void setProportion(double proportion);

    public void setRandom(boolean random);

    public ArrayList<Float> gerRandomList();
}
